Finite-state transducer - PDFSEARCH.IO - Document Search Engine

Finite-state transducer
Results: 120

#	Item
21	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
22	Regular Real Analysis Swarat Chaudhuri Rice University Sriram Sankaranarayanan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-04-26 17:57:31 Models of computation Theoretical computer science Functions and mappings Calculus Ω-automaton Finite state transducer Continuous function Derivative Computability Automata theory Mathematics Mathematical analysis
23	Data-Parallel String-Manipulating Programs Margus Veanes Todd Mytkowicz David Molnar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-28 21:15:16 Finite state transducer Mathematical analysis Theoretical computer science Ordinary differential equations Mathematics Classical cipher Obfuscated code Models of computation Spectral theory Automata theory
24	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
25	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
26	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
27	Complexity and Universality of Iterated Finite Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Automata theory Computer science Cellular automata Computability theory Cellular automaton Finite-state machine Finite state transducer A New Kind of Science Turing machine Theory of computation Models of computation Theoretical computer science
28	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science
29	Spelling Correction using Lucene FSTs FOSDEM 2015 Anna Ohanyan () Christian Ziech () Add to Reading List Source URL: fosdem.org Language: English - Date: 2015-02-17 07:52:11 Dynamic programming Levenshtein distance Web search query Finite state transducer Information science Information retrieval Internet search
30	On the Aggregation Problem for Synthesized Web Services Ting Denga , Wenfei Fanb,c , Leonid Libkinb , Yinghui Wub a State Key Laboratory of Software Development Environment, Beihang University b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:19:43 Models of computation Symbol Algorithm Finite state transducer Aggregation problem FO Theoretical computer science Applied mathematics Mathematics